mathematical theory of computation
英 [ˌmæθəˈmætɪkl ˈθɪəri ɒv ˌkɒmpjuˈteɪʃn]
美 [ˌmæθəˈmætɪkl ˈθiːəri əv ˌkɑːmpjuˈteɪʃn]
计算数学原理; 缩写词为MTC
双语例句
- This paper applies the characters of primes in the mathematical theory of numbers, transfers the symbolic computation into value computation, and designs a tool of Boolean expression simplification.
运用数论理论中素数的性质和特点，将符号计算问题转化为数值计算问题，设计了一个布尔表达式化简工具。 - And it extracts and reveals the geometrical characteristics included in the mathematical theory of computation in the stars.
抽提并揭示了包含在具有几何特征的数学计算中的恒星计算理论。